+RTS -M10M -RTS
